package ch.epfl.lara.fdsolver

class MultiRangeInt extends MultiRange {
  MultiRangeInt(fv: FreeVar) = {
    valuesType = Int
    _myFreeVar = fv
  }
  
  def defaultRange = Range[valuesType]{
    def min = -MAX_INT
    def max = MAX_INT
  }
  
  def applyConstraint(c: Constraint, mrs: HashMap[FreeVar, MultiRange]): MultiRangeInt =  c match {
    case ExprLTE () =>
    case _ =>
  }
}


